synthetic division and remainder theorem